\begin{tabbing}
component\=\{i:l\}\+
\\[0ex](${\it ds}$; ${\it da}$; $A$; $B$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Interface(${\it ds}$;${\it da}$;$A$)$\rightarrow$(:RealizerScheme\{i:l\} $\times$ Interface(${\it ds}$;${\it da}$;$B$))
\end{tabbing}